CLI tool that translates plain English into Linux commands
reddit.com·6h·
Discuss: r/linux
📝Shell Parsing
Categorical systems theory
topos.institute·9h
🔀Category Theory
Let's Write a Macro in Rust
hackeryarn.com·5h·
Discuss: Hacker News
🦀Rust Macros
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·14h
📞Session Types
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·17h
⛪Church Encoding
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
Lobsters Interview with Zdsmith
lobste.rs·16h·
Discuss: Lobsters
🔗Concatenative Programming
Every Line of Code Is a Philosophy in Disguise
dev.to·14h·
Discuss: DEV
⚖️Emulation Ethics
Three ways formally verified code can go wrong in practice
buttondown.com·4h
📜Proof Carrying Code
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
QUIC! Jump to User Space!
hackaday.com·6h
🌐Network Protocols
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Open Lineage
usenix.org·17h
🔌Interface Evolution
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
XProc 3 Steps as XSpec Test Helper Functions
medium.com·4h
🔀XSLT
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·22h·
Discuss: Hacker News
🌊Stream Processing
Haskell Weekly Issue 493
haskellweekly.news·1d·
Discuss: Hacker News
🧬Functional Programming